[POWERPC][XEN] Use correct register set in dump_execution_state().

Signed-off-by: Hollis Blanchard <hollisb@us.ibm.com>

diff --git a/xen/arch/powerpc/backtrace.c b/xen/arch/powerpc/backtrace.c
index 30e4ffde2ed6b9579179b36dc4d3b2b02eb9aac2..badbd9d2e5a0103ec62c5edf7340c30c91f7edec 100644 (file)
--- a/xen/arch/powerpc/backtrace.c
+++ b/xen/arch/powerpc/backtrace.c
@@ -222,8 +222,7 @@ void __warn(char *file, int line)
 
 void dump_execution_state(void)
 {
-    struct vcpu *v = current;
-    struct cpu_user_regs *regs = &v->arch.ctxt;
+    struct cpu_user_regs *regs = guest_cpu_user_regs();
 
     show_registers(regs);
     if (regs->msr & MSR_HV) {